skip to content
Belief, awareness, and limited reasoning (1986) Preview this item
ClosePreview this item
Checking...

Belief, awareness, and limited reasoning (1986)

Author: Joseph Halpern; Stanford University.; Stanford University. Board of Trustees.; Morgan Kaufmann (Firm)
Publisher: [Stanford, Calif.] : Board of Trustees of the Leland Stanford Junior University ; San Mateo, Calif. : Distributed by Morgan Kaufmann Publishers, [1986?]
Series: Stanford computer science video journal., Artificial intelligence research lectures.; AI lectures.
Edition/Format:   VHS video : VHS tape   Visual material : EnglishView all editions and formats
Database:WorldCat
Summary:
This lecture discusses three approaches to solving the problems of logical omniscience. In our logics, one agent's set of beliefs does not necessarily include all valid formulas. While one logic deals with awareness, where it is necessary to first be aware of a concept before one can have beliefs about it, another logic presents a model of local reasoning where an agent is viewed as a society of minds, each with its  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Videorecording
Document Type: Visual material
All Authors / Contributors: Joseph Halpern; Stanford University.; Stanford University. Board of Trustees.; Morgan Kaufmann (Firm)
ISBN: 093461380X 9780934613804
OCLC Number: 28930914
Notes: Videotaped at Stanford University.
Description: 1 videocassette (59 min.) : sd., col. ; 1/2 in.
Details: VHS format.
Series Title: Stanford computer science video journal., Artificial intelligence research lectures.; AI lectures.
Responsibility: Joseph Halpern.

Abstract:

This lecture discusses three approaches to solving the problems of logical omniscience. In our logics, one agent's set of beliefs does not necessarily include all valid formulas. While one logic deals with awareness, where it is necessary to first be aware of a concept before one can have beliefs about it, another logic presents a model of local reasoning where an agent is viewed as a society of minds, each with its own cluster of beliefs.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/28930914> # Belief, awareness, and limited reasoning (1986)
    a schema:CreativeWork, bgn:VHS, schema:Movie ;
    library:oclcnum "28930914" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890640704#Place/stanford_calif> ; # Stanford, Calif.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890640704#Place/san_mateo_calif> ; # San Mateo, Calif.
    schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:contributor <http://viaf.org/viaf/135167276> ; # Morgan Kaufmann (Firm)
    schema:contributor <http://viaf.org/viaf/156030410> ; # Stanford University. Board of Trustees.
    schema:contributor <http://viaf.org/viaf/158761280> ; # Stanford University.
    schema:creator <http://experiment.worldcat.org/entity/work/data/890640704#Person/halpern_joseph> ; # Joseph Halpern
    schema:datePublished "1986" ;
    schema:description "This lecture discusses three approaches to solving the problems of logical omniscience. In our logics, one agent's set of beliefs does not necessarily include all valid formulas. While one logic deals with awareness, where it is necessary to first be aware of a concept before one can have beliefs about it, another logic presents a model of local reasoning where an agent is viewed as a society of minds, each with its own cluster of beliefs."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/890640704> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890640704#Series/stanford_computer_science_video_journal_artificial_intelligence_research_lectures> ; # Stanford computer science video journal. Artificial intelligence research lectures
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890640704#Series/stanford_computer_science_video_journal> ; # Stanford computer science video journal.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890640704#Series/ai_lectures> ; # AI lectures.
    schema:name "Belief, awareness, and limited reasoning (1986)"@en ;
    schema:productID "28930914" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/28930914#PublicationEvent/stanford_calif_board_of_trustees_of_the_leland_stanford_junior_university_san_mateo_calif_distributed_by_morgan_kaufmann_publishers_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/890640704#Agent/board_of_trustees_of_the_leland_stanford_junior_university> ; # Board of Trustees of the Leland Stanford Junior University
    schema:publisher <http://experiment.worldcat.org/entity/work/data/890640704#Agent/distributed_by_morgan_kaufmann_publishers> ; # Distributed by Morgan Kaufmann Publishers
    schema:workExample <http://worldcat.org/isbn/9780934613804> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/28930914> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890640704#Agent/board_of_trustees_of_the_leland_stanford_junior_university> # Board of Trustees of the Leland Stanford Junior University
    a bgn:Agent ;
    schema:name "Board of Trustees of the Leland Stanford Junior University" ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Agent/distributed_by_morgan_kaufmann_publishers> # Distributed by Morgan Kaufmann Publishers
    a bgn:Agent ;
    schema:name "Distributed by Morgan Kaufmann Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Person/halpern_joseph> # Joseph Halpern
    a schema:Person ;
    schema:familyName "Halpern" ;
    schema:givenName "Joseph" ;
    schema:name "Joseph Halpern" ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Place/san_mateo_calif> # San Mateo, Calif.
    a schema:Place ;
    schema:name "San Mateo, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Place/stanford_calif> # Stanford, Calif.
    a schema:Place ;
    schema:name "Stanford, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Series/ai_lectures> # AI lectures.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28930914> ; # Belief, awareness, and limited reasoning (1986)
    schema:name "AI lectures." ;
    schema:name "AI lectures" ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Series/stanford_computer_science_video_journal> # Stanford computer science video journal.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28930914> ; # Belief, awareness, and limited reasoning (1986)
    schema:name "Stanford computer science video journal." ;
    .

<http://experiment.worldcat.org/entity/work/data/890640704#Series/stanford_computer_science_video_journal_artificial_intelligence_research_lectures> # Stanford computer science video journal. Artificial intelligence research lectures
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28930914> ; # Belief, awareness, and limited reasoning (1986)
    schema:name "Stanford computer science video journal. Artificial intelligence research lectures" ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1091282> # Reasoning
    a schema:Intangible ;
    schema:name "Reasoning"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://viaf.org/viaf/135167276> # Morgan Kaufmann (Firm)
    a schema:Organization ;
    schema:name "Morgan Kaufmann (Firm)" ;
    .

<http://viaf.org/viaf/156030410> # Stanford University. Board of Trustees.
    a schema:Organization ;
    schema:name "Stanford University. Board of Trustees." ;
    .

<http://viaf.org/viaf/158761280> # Stanford University.
    a schema:Organization ;
    schema:name "Stanford University." ;
    .

<http://worldcat.org/isbn/9780934613804>
    a schema:ProductModel ;
    schema:isbn "093461380X" ;
    schema:isbn "9780934613804" ;
    .

<http://www.worldcat.org/title/-/oclc/28930914#PublicationEvent/stanford_calif_board_of_trustees_of_the_leland_stanford_junior_university_san_mateo_calif_distributed_by_morgan_kaufmann_publishers_1986>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/890640704#Place/san_mateo_calif> ; # San Mateo, Calif.
    schema:location <http://experiment.worldcat.org/entity/work/data/890640704#Place/stanford_calif> ; # Stanford, Calif.
    schema:organizer <http://experiment.worldcat.org/entity/work/data/890640704#Agent/distributed_by_morgan_kaufmann_publishers> ; # Distributed by Morgan Kaufmann Publishers
    schema:organizer <http://experiment.worldcat.org/entity/work/data/890640704#Agent/board_of_trustees_of_the_leland_stanford_junior_university> ; # Board of Trustees of the Leland Stanford Junior University
    schema:startDate "" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.