Användning av kunskapsrepresentation med temporal logik ... - IT
Användning av kunskapsrepresentation med temporal logik ... - IT
Användning av kunskapsrepresentation med temporal logik ... - IT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Examensarbete i dat<strong>av</strong>etenskap, naturvetenskapliga fakulteten, Lunds universitetTo use <strong>temporal</strong> logic in representing knowledge within AIKristina von HausswolffComputer ScienceSpring 2002Abstract in EnglishTemporal logic is an expansion of the standard first-order logic. This expansion sets rules forlines of argument where the aspect of time has significance. In computer science these lines ofargument are useful in a number of areas: Verifying the correctness of a program, planningthe beh<strong>av</strong>iour of robots and translating human speech in expert systems. This report is asummary of an investigation of how <strong>temporal</strong> logic is used within AI (Artificial Intelligence).The investigation especially regards different kinds of <strong>temporal</strong> logic that can be used torepresent facts where the truth-value varies over time. The investigation concerns both logicthat has interval of time as the basic primitive and logic that has point of time as the basicprimitive. Two examples of usage within AI are presented: The programming language Tokioand software for planning TLPLlan.Abstract in Swedish<strong>Användning</strong> <strong>av</strong> <strong>kunskapsrepresentation</strong> <strong>med</strong> <strong>temporal</strong> <strong>logik</strong> inom A<strong>IT</strong>emporal <strong>logik</strong> är en utvidgning <strong>av</strong> standard<strong>logik</strong>en, första ordningens predikat<strong>logik</strong>. Dennautvidgning ger regler för resonemang där tidsaspekten har betydelse. För datalogin är sådanaresonemang användbara inom ett antal områden: Verifiering <strong>av</strong> ett dataprograms korrekthet,planering <strong>av</strong> robotars beteende och översättning <strong>av</strong> naturliga språk i kunskapssystem.Rapporten sammanfattar en undersökning <strong>av</strong> hur <strong>temporal</strong> <strong>logik</strong> används inom AI (ArtificiellIntelligens). Speciellt handlar undersökningen om olika typer <strong>av</strong> <strong>temporal</strong> <strong>logik</strong> som kananvändas för att representera fakta där sanningsvärdet varierar beroende på tidpunkten.Undersökningen innefattar både <strong>logik</strong>er som har tidsintervall som grundläggande primitiv och<strong>logik</strong>er som har tidpunkter som grundläggande primitiv. Två exempel på användningar inomAI tas upp: Programmeringsspråket Tokio och planeringsprogrammet TLPlan.
Change language