Re: Modal logic example

Barb Knox <see@xxxxxxxxx> writes:

In article <1178895613.409524.257520@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Gboro54 <gboro54@xxxxxxxxx> wrote:

Hi everyone, i am a third yr computer science major at Albright
College. I am taking a course in AI and i am writting a research paper/
giving a report on Modal Logic...I understand the basic theorems with
no problem but my professor wants to see an example in which a problem
can be solved by modal logic and not first-order logic... In other
words he wants an example of probelm solving in modal logic for an
agent(something along the lines of resoultion refutation and CNF in
first-order logic)...Does anyone know of any good examples that i
could present that would satisfy this requirement??? Thanks

One real-world example is Arthur Prior's use of modal logic for temporal
reasoning.

Are you sure that couldn't be done in purely first order logic? It
all comes down to quantifying over paths, doesn't it?

--
One these mornings gonna wake | Ain't nobody's doggone business how
up crazy, | my baby treats me,
Gonna grab my gun, kill my baby. | Nobody's business but mine.
Nobody's business but mine. | -- Mississippi John Hurt
.

Relevant Pages

  • Re: Modal logic example
    ... I am taking a course in AI and i am writting a research paper/ ... giving a report on Modal Logic...I understand the basic theorems with ... can be solved by modal logic and not first-order logic... ... all comes down to quantifying over paths, ...
    (sci.logic)
  • Re: Modal logic example
    ... College. ... I am taking a course in AI and i am writting a research paper/ ... giving a report on Modal Logic...I understand the basic theorems with ... can be solved by modal logic and not first-order logic... ...
    (sci.logic)
  • Re: Starting a Pen-Testing Career
    ... Perhaps my perceptions of the business are a bit naive, ... Buinsesses don't care about security and vulnerabilty and exposure. ... How else would they be able to provide such a report in isolation - ... written vulnerability scanner' to produce reports. ...
    (alt.computer.security)
  • Re: Starting a Pen-Testing Career
    ... How else would they be able to provide such a report in isolation - ... and making their business plans work to worry so much about security. ... they hire a pen-tester or ethical hacker to tell them the things ... informed as to how the vulnerabilities exisit, how they can be exploited and ...
    (alt.computer.security)
  • Re: OT ~ RatherGate Resurfaces
    ... it's right there in the report. ... MY point is that the Bastard Media only prints or brodcasts ... the way the business works. ... carried the story and one of these phantom power plants was supposed to be ...
    (rec.outdoors.rv-travel)